[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 50 69 68 61 70 0 0

N.S.

1 1.00 0.69 0.96 0.94 0.85 0.97 0.00 0.00

time (sec)

N/A 0.033 0.027 0.191 0.197 0.263 0.369 0.000 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 49 58 59 59 61 0 0

N.S.

1 1.00 0.73 0.87 0.88 0.88 0.91 0.00 0.00

time (sec)

N/A 0.020 0.015 0.008 0.181 0.249 0.273 0.000 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 41 50 48 52 48 0 0

N.S.

1 1.00 0.79 0.96 0.92 1.00 0.92 0.00 0.00

time (sec)

N/A 0.025 0.019 0.009 0.202 0.260 0.224 0.000 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 40 39 39 48 37 68 36

N.S.

1 1.00 0.91 0.89 0.89 1.09 0.84 1.55 0.82

time (sec)

N/A 0.011 0.009 0.008 0.183 0.267 0.161 0.259 2.288

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 24 25 37 20 35 23

N.S.

1 1.00 1.00 0.96 1.00 1.48 0.80 1.40 0.92

time (sec)

N/A 0.005 0.008 0.007 0.198 0.254 0.083 0.256 0.074

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 94 0 0 0 0 0

N.S.

1 1.00 1.00 2.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.042 0.005 0.260 0.000 0.000 0.000 0.000 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 26 22 90 0 56 0

N.S.

1 1.00 1.00 0.96 0.81 3.33 0.00 2.07 0.00

time (sec)

N/A 0.016 0.004 0.008 0.182 0.259 0.000 0.264 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 28 28 27 36 0 50 0

N.S.

1 1.00 0.85 0.85 0.82 1.09 0.00 1.52 0.00

time (sec)

N/A 0.011 0.008 0.009 0.184 0.263 0.000 0.271 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 54 48 43 117 0 84 0

N.S.

1 1.00 1.00 0.89 0.80 2.17 0.00 1.56 0.00

time (sec)

N/A 0.025 0.010 0.007 0.187 0.265 0.000 0.282 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 40 50 49 49 0 77 0

N.S.

1 1.00 0.71 0.89 0.88 0.88 0.00 1.38 0.00

time (sec)

N/A 0.022 0.011 0.008 0.200 0.269 0.000 0.262 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 49 70 63 129 0 107 0

N.S.

1 1.00 0.64 0.91 0.82 1.68 0.00 1.39 0.00

time (sec)

N/A 0.029 0.012 0.008 0.203 0.263 0.000 0.263 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 75 103 99 99 114 0 0

N.S.

1 1.00 0.64 0.88 0.85 0.85 0.97 0.00 0.00

time (sec)

N/A 0.139 0.049 0.255 0.189 0.254 0.523 0.000 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 72 87 109 92 90 0 0

N.S.

1 1.00 0.75 0.91 1.14 0.96 0.94 0.00 0.00

time (sec)

N/A 0.121 0.035 0.200 0.196 0.253 0.374 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 59 72 70 82 76 0 0

N.S.

1 1.00 0.74 0.90 0.88 1.02 0.95 0.00 0.00

time (sec)

N/A 0.081 0.052 0.211 0.194 0.261 0.290 0.000 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 53 59 81 73 51 0 0

N.S.

1 1.00 0.90 1.00 1.37 1.24 0.86 0.00 0.00

time (sec)

N/A 0.068 0.024 0.033 0.196 0.261 0.206 0.000 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 36 32 59 32 62 0

N.S.

1 1.00 1.00 1.06 0.94 1.74 0.94 1.82 0.00

time (sec)

N/A 0.030 0.017 0.031 0.205 0.252 0.099 0.267 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 60 151 0 0 0 0 0

N.S.

1 1.00 1.00 2.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.068 0.007 0.042 0.000 0.000 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 75 108 0 0 0 0 0

N.S.

1 1.00 1.50 2.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 0.168 0.048 0.000 0.000 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 72 39 67 0 98 0

N.S.

1 1.00 1.00 1.67 0.91 1.56 0.00 2.28 0.00

time (sec)

N/A 0.051 0.025 0.060 0.194 0.252 0.000 0.302 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 125 136 0 0 0 0 0

N.S.

1 1.00 1.26 1.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.121 0.416 0.060 0.000 0.000 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 64 112 71 85 0 148 0

N.S.

1 1.00 0.75 1.32 0.84 1.00 0.00 1.74 0.00

time (sec)

N/A 0.107 0.052 0.062 0.191 0.266 0.000 0.336 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 120 172 165 151 196 0 0

N.S.

1 1.00 0.62 0.88 0.85 0.77 1.01 0.00 0.00

time (sec)

N/A 0.267 0.063 0.040 0.191 0.257 0.635 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 110 141 0 142 160 0 0

N.S.

1 1.00 0.67 0.87 0.00 0.87 0.98 0.00 0.00

time (sec)

N/A 0.208 0.061 0.039 0.000 0.273 0.506 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 93 116 116 124 128 0 0

N.S.

1 1.00 0.70 0.88 0.88 0.94 0.97 0.00 0.00

time (sec)

N/A 0.157 0.046 0.033 0.197 0.257 0.388 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 80 88 0 112 92 0 0

N.S.

1 1.00 0.82 0.91 0.00 1.15 0.95 0.00 0.00

time (sec)

N/A 0.105 0.038 0.032 0.000 0.257 0.262 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 58 55 57 90 54 98 0

N.S.

1 1.00 1.00 0.95 0.98 1.55 0.93 1.69 0.00

time (sec)

N/A 0.054 0.017 0.027 0.198 0.250 0.119 0.288 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 83 204 0 0 0 0 0

N.S.

1 1.00 1.00 2.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.079 0.007 0.036 0.000 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 84 117 161 0 0 0 0 0

N.S.

1 1.00 1.39 1.92 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.112 0.099 0.039 0.000 0.000 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 80 146 0 0 0 0 0

N.S.

1 1.00 0.86 1.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.116 0.288 0.049 0.000 0.000 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 268 212 0 0 0 0 0

N.S.

1 1.00 1.77 1.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.197 1.694 0.073 0.000 0.000 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 159 107 213 0 0 0 0 0

N.S.

1 1.00 0.67 1.34 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.192 0.561 0.072 0.000 0.000 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

276 276 165 242 0 208 269 0 0

N.S.

1 1.00 0.60 0.88 0.00 0.75 0.97 0.00 0.00

time (sec)

N/A 0.573 0.077 0.219 0.000 0.275 1.320 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

244 244 148 210 201 189 241 0 0

N.S.

1 1.00 0.61 0.86 0.82 0.77 0.99 0.00 0.00

time (sec)

N/A 0.464 0.076 0.040 0.207 0.260 0.880 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 133 172 0 176 190 0 0

N.S.

1 1.00 0.69 0.89 0.00 0.91 0.98 0.00 0.00

time (sec)

N/A 0.353 0.054 0.041 0.000 0.268 0.651 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 112 140 143 154 158 0 0

N.S.

1 1.00 0.69 0.86 0.88 0.95 0.98 0.00 0.00

time (sec)

N/A 0.241 0.060 0.039 0.207 0.258 0.519 0.000 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 94 105 0 138 104 0 0

N.S.

1 1.00 0.85 0.95 0.00 1.25 0.95 0.00 0.00

time (sec)

N/A 0.159 0.041 0.029 0.000 0.257 0.350 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 67 65 73 112 65 125 0

N.S.

1 1.00 1.00 0.97 1.09 1.67 0.97 1.87 0.00

time (sec)

N/A 0.079 0.019 0.027 0.200 0.250 0.190 0.313 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 97 257 0 0 0 0 0

N.S.

1 1.00 1.00 2.65 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.088 0.009 0.039 0.000 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

120 120 161 214 0 0 0 0 0

N.S.

1 1.00 1.34 1.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.123 0.186 0.041 0.000 0.000 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 113 199 0 0 0 0 0

N.S.

1 1.00 1.05 1.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.142 0.262 0.052 0.000 0.000 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 355 340 0 0 0 0 0

N.S.

1 1.00 1.59 1.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.264 1.861 0.072 0.000 0.000 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 40 40 0 0 0 0 0

N.S.

1 1.00 0.73 0.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.074 0.011 0.063 0.000 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 33 33 0 0 0 0 0

N.S.

1 1.00 0.77 0.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.062 0.122 0.047 0.000 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 31 31 0 0 0 0 0

N.S.

1 1.00 0.76 0.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.067 0.009 0.030 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 24 24 0 0 0 0 0

N.S.

1 1.00 0.83 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.049 0.098 0.035 0.000 0.000 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 22 22 0 0 0 0 0

N.S.

1 1.00 0.81 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.059 0.008 0.038 0.000 0.000 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 0 0 0 0 0

N.S.

1 1.00 1.00 0.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.028 0.032 0.041 0.000 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 0 0 0 0 0

N.S.

1 1.00 1.00 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.014 0.014 0.040 0.000 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 8 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 0.80 1.20 1.20

time (sec)

N/A 0.012 0.146 0.030 0.237 0.244 0.324 0.273 2.567

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 12 12 10 12 12

N.S.

1 1.00 1.20 1.00 1.20 1.20 1.00 1.20 1.20

time (sec)

N/A 0.011 0.840 0.051 0.237 0.266 0.329 0.275 2.660

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 85 104 0 0 0 0 0

N.S.

1 1.00 1.04 1.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.057 0.431 0.065 0.000 0.000 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 78 78 0 0 0 0 0

N.S.

1 1.00 1.11 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.056 0.031 0.062 0.000 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 60 80 0 0 0 0 0

N.S.

1 1.00 0.88 1.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.048 0.328 0.033 0.000 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 56 56 54 0 0 0 0 0

N.S.

1 1.00 1.00 0.96 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.039 0.021 0.032 0.000 0.000 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

54 54 49 56 0 0 0 0 0

N.S.

1 1.00 0.91 1.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.035 0.247 0.032 0.000 0.000 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 29 28 0 0 0 0 0

N.S.

1 1.00 0.78 0.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.020 0.010 0.033 0.000 0.000 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 31 30 0 0 0 0 0

N.S.

1 1.00 0.91 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.057 0.071 0.033 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 200 12 10 12 12

N.S.

1 1.00 1.20 1.00 20.00 1.20 1.00 1.20 1.20

time (sec)

N/A 0.010 0.771 0.032 0.319 0.253 0.387 0.269 2.543

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 237 12 12 12 12

N.S.

1 1.00 1.20 1.00 23.70 1.20 1.20 1.20 1.20

time (sec)

N/A 0.012 5.279 0.043 0.361 0.250 0.465 0.276 2.670

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 102 120 0 0 0 0 0

N.S.

1 1.00 1.05 1.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.244 0.111 0.049 0.000 0.000 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 69 82 0 0 0 0 0

N.S.

1 1.00 0.84 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.206 0.190 0.052 0.000 0.000 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 64 81 0 0 0 0 0

N.S.

1 1.00 0.79 1.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.178 0.139 0.042 0.000 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 62 43 0 0 0 0 0

N.S.

1 1.00 0.98 0.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.117 0.051 0.038 0.000 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 47 42 0 0 0 0 0

N.S.

1 1.00 0.94 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.066 0.022 0.030 0.000 0.000 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 697 12 10 12 12

N.S.

1 1.00 1.20 1.00 69.70 1.20 1.00 1.20 1.20

time (sec)

N/A 0.010 0.473 0.033 0.625 0.248 0.464 0.274 2.491

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 822 12 12 12 12

N.S.

1 1.00 1.20 1.00 82.20 1.20 1.20 1.20 1.20

time (sec)

N/A 0.010 4.652 0.044 0.728 0.258 0.576 0.282 2.514

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 156 169 0 0 0 0 0

N.S.

1 1.00 1.01 1.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 0.413 0.057 0.000 0.000 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 105 114 0 0 0 0 0

N.S.

1 1.00 0.74 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.205 0.302 0.049 0.000 0.000 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 99 115 0 0 0 0 0

N.S.

1 1.00 0.72 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.204 0.347 0.039 0.000 0.000 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 84 60 0 0 0 0 0

N.S.

1 1.00 0.88 0.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.113 0.109 0.039 0.000 0.000 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 69 61 0 0 0 0 0

N.S.

1 1.00 0.91 0.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.113 0.086 0.028 0.000 0.000 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 1611 12 10 12 12

N.S.

1 1.00 1.20 1.00 161.10 1.20 1.00 1.20 1.20

time (sec)

N/A 0.010 1.987 0.031 1.292 0.262 0.607 0.270 2.598

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

10 10 12 10 1885 12 12 12 12

N.S.

1 1.00 1.20 1.00 188.50 1.20 1.20 1.20 1.20

time (sec)

N/A 0.013 7.511 0.046 1.505 0.253 0.803 0.272 2.581

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 182 152 0 0 0 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.255 0.093 0.000 0.000 0.000 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 99 0 0 0 0 0 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.186 0.059 0.000 0.000 0.000 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

120 120 99 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 0.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 52 75 0 0 0 0 0

N.S.

1 1.00 0.56 0.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.136 0.029 0.135 0.000 0.000 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 53 45 42 0 0 0 0 0

N.S.

1 1.00 0.85 0.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.076 0.046 0.053 0.000 0.000 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 10 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 1.00

time (sec)

N/A 0.014 0.163 0.039 0.350 0.000 0.412 0.425 2.501

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

330 330 152 0 0 0 0 0 0

N.S.

1 1.00 0.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.500 0.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

199 199 99 0 0 0 0 0 0

N.S.

1 1.00 0.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.321 0.063 0.000 0.000 0.000 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

179 179 99 0 0 0 0 0 0

N.S.

1 1.00 0.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.254 0.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 52 102 0 0 0 0 0

N.S.

1 1.00 0.43 0.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.149 0.021 0.089 0.000 0.000 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 47 65 0 0 0 0 0

N.S.

1 1.00 0.58 0.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.080 0.026 0.086 0.000 0.000 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 10 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 1.00

time (sec)

N/A 0.010 0.136 0.040 0.367 0.000 1.666 0.572 2.460

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

379 379 152 0 0 0 0 0 0

N.S.

1 1.00 0.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.659 0.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

247 247 99 0 0 0 0 0 0

N.S.

1 1.00 0.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.476 0.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

210 210 99 0 0 0 0 0 0

N.S.

1 1.00 0.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.365 0.055 0.000 0.000 0.000 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 152 52 136 0 0 0 0 0

N.S.

1 1.00 0.34 0.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.029 0.097 0.000 0.000 0.000 0.000 0.000

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 45 78 0 0 0 0 0

N.S.

1 1.00 0.48 0.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.126 0.040 0.075 0.000 0.000 0.000 0.000 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 10 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 0.83 1.00 1.00

time (sec)

N/A 0.010 0.140 0.041 0.352 0.000 19.286 0.600 2.370

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 163 151 0 0 0 0 0 0

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.149 0.081 0.000 0.000 0.000 0.000 0.000 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 99 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.107 0.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 105 99 0 0 0 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.102 0.062 0.000 0.000 0.000 0.000 0.000 0.000

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 52 37 0 0 0 0 0

N.S.

1 1.00 0.83 0.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.063 0.018 0.073 0.000 0.000 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 47 24 0 0 0 0 0

N.S.

1 1.00 1.09 0.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.033 0.027 0.033 0.000 0.000 0.000 0.000 0.000

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 12 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.00 1.00 1.00

time (sec)

N/A 0.010 0.166 0.042 0.354 0.000 0.434 0.423 2.345

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 10 12 0 14 12 12

N.S.

1 1.00 1.17 0.83 1.00 0.00 1.17 1.00 1.00

time (sec)

N/A 0.011 1.337 0.053 0.357 0.000 0.553 0.444 2.328

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

188 188 265 0 0 0 0 0 0

N.S.

1 1.00 1.41 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.132 0.118 0.000 0.000 0.000 0.000 0.000 0.000

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

138 138 126 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.106 0.035 0.000 0.000 0.000 0.000 0.000 0.000

[next] [front] [up]